Object-oriented Implementation of Intensional Languages
نویسنده
چکیده
This paper presents an object-oriented implementation of Lucid. We implement each variable in a Lucid program as a class. An object of the class is the variable in a context. An object evaluates itself when it receives a demand for its value and stores the value. Evaluation of a program involves object self-evaluations and message passing of demands among objects. Some optimization issues are also discussed in the paper.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملModelling and Implementation Methodology in the IoT/LD Approach to the Semantic Web
The paper presents a modelling and implementation methodology compatible with the Internet of Things and Linked Data paradigm. Linked data are naturally depicted by a directed graph whose nodes represent Things and edges or arrows relations. The conceptual models of intensional interpretations of first order formal languages are directed graphs. It is therefore natural to base the description l...
متن کاملFirst-Order Functional Languages and Intensional Logic
The purpose of this paper is to demonstrate that first-order functional programs can be transformed into intensional programs of nullary variables, in a semantics preserving way. On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages. From a practical point of view, our investigation provides a formal basis for t...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل